$\forall$$A$:((:($\mathbb{N}\rightarrow\mathbb{Q}$) $\times$ $\mathbb{Z}$) List), $k$:$\mathbb{N}$, $y$:($\mathbb{Q}$ List). q{-}constraints($k$;$A$;$y$) $\in$ $\mathbb{P}$